منابع مشابه
Timesharing Dexter
My husband Neil Immerman returned from the 1986 STOC meeting with an interesting proposition. Juris Hartmanis and Dexter Kozen had a small pocket of funds, and they proposed that the two of us visit the Cornell Computer Science Department for a week. It sounded delightful but we had a complication: our new son, who was all of four months old. We decided to time-share Dexter and split child care...
متن کاملNew Dexter
We propose a theoretical device for modeling the creation of new in-discernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.
متن کاملDexter Kozen: An Appreciation
I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was already “the man”. Although he was only a few years ahead of me, he had already made his name by independently defining the notion of alternating Turing machines, a deep contribution to complexity theory that made it possible to connect time and space complexity. The results wer...
متن کاملBronchus Cardiacus Accessorius Dexter
The diagnosis of bronchus cardiacus accessorius dexter (BCAD) has occurred in 25 cases during the bronchoscopic investigations of 30,000 adult patients of the authors. In most of the cases, this bronchial anomaly has been revealed as an accessory phenomenon, nevertheless, in one of the patients, it was the source of a considerable hemorrhage. In another case reported here in detail, it occurred...
متن کاملDexter energy transfer pathways.
Energy transfer with an associated spin change of the donor and acceptor, Dexter energy transfer, is critically important in solar energy harvesting assemblies, damage protection schemes of photobiology, and organometallic opto-electronic materials. Dexter transfer between chemically linked donors and acceptors is bridge mediated, presenting an enticing analogy with bridge-mediated electron and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clinical Cardiology
سال: 1990
ISSN: 0160-9289,1932-8737
DOI: 10.1002/clc.4960130318